283. Verification of lrradition Field Using CR
نویسندگان
چکیده
منابع مشابه
automatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولCo2 Corrosion Model Verification Using Field Data
An integrated multiphase flow and corrosion prediction package was tested by comparing it’s performance with data obtained from the field. The comparisons indicated a satisfactory performance, even for the situations where incomplete information was available about the field cases. The results have shown that the effect of traces of H2S on CO2 corrosion needs to be given particular care when ma...
متن کاملSolution of Flow Field Equations and Verification of Cavitation Problem on Spillway of the dam
The main objective of this paper is to formulate a mathematical model for finding flow field and cavitation problem on dam spillways. The Navier-Stokes Equation has been applied for the computation of pressure and velocity field, free water surface profiles and other parameters. Also, for increasing accuracy of the problem, viscosity effect has been considered. Because of internal flows the eff...
متن کاملCat.Jour.Ling. 2 001-283
Our investigation focuses on several types of structural ambiguity in European Portuguese. The materials include sentences with set-divider adverbs ambiguous as to the direction of syntactic attachment, adjunct and complement PPs ambiguous as to the level of syntactic embedding, nonrestrictive clauses with local and non-local possible antecedents, and relative clauses ambiguous as to their rest...
متن کاملParentage Verification of Iranian Caspian Horse Using Microsatellites Markers
The present study was to construct a parentage verification system for Iranian Caspian horse. A total number of 45 Caspian horse samples including 14 foals for parentage verification, 17 stallion and 14 mare for individual identification were genotyped. Genomic DNA was extracted from whole blood and the genotype were analysed by PCR procedure and using 7 microsatellite markers (AHT04, HMS03, HM...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Japanese Journal of Radiological Technology
سال: 1990
ISSN: 0369-4305,1881-4883
DOI: 10.6009/jjrt.kj00003322406